翻訳と辞書 Words near each other ・ compressed video ・ compression ・ comprosl ・ compu$erve ・ compulink information exchange ・ compuserve corporation ・ compuserve information service ・ compusult ltd. ・ computability theory ・ computable ・ computational adequacy theorem ・ computational complexity ・ computational fluid dynamics ・ computational geometry ・ computational learning ・ computational molecular biology ・ compute parallel ・ compute server ・ computer ・ computer + science network Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク computational adequacy theorem ： FOLDOC Computational Adequacy Theorem This states that for any program (a non-function typed term in the typed lambda-calculus with constants) normal order reduction (outermost first) fails to terminate if and only if the standard semantics of the term is bottom. Moreover, if the reduction of program e1 terminates with some head normal form e2 then the standard semantics of e1 and e2 will be equal. This theorem is significant because it relates the operational notion of a reduction sequence and the denotational semantics of the input and output of a reduction sequence. スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.